Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Flowing Straighter with Conditional Flow Matching for Accurate Speech Enhancement
arxiv.org·2d
🎙️Whisper
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·6h
📄Text Segmentation
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
The Latest Projects from Cornell’s ECE 4760/5730
hackaday.com·18m
⚡Circuit Design
Understanding Matrices | Part 4: Matrix Inverse
towardsdatascience.com·13h
📐Linear Algebra
Sheafification - The optimal path to mathematical mastery
sheafification.com·47m·
Discuss: Hacker News
🕸️Algebraic Topology
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Adaptive FIR Filter Design via Bayesian Optimization & Genetic Algorithms for Wireless Sensor Networks
dev.to·1d·
Discuss: DEV
🌊Stream Ciphers
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·8h
🏗️Constructive Analysis
Equivalence via Surjections
golem.ph.utexas.edu·1d
🔀Category Theory
‘There’s no way that can fit inside the soundbar’: Sonos tells me how it developed Sound Motion, the groundbreaking new speaker design in the Arc Ultra
techradar.com·18h
🎛️Audio Synthesis
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·7h·
Discuss: r/MachineLearning
🔗Constraint Handling
Macroexpand-Deep 2025 – the first Clojure AI conference
scicloj.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
How AI stem separation alters the workflow of music producers
medium.com·2d·
Discuss: Hacker News
🎹MIDI Archaeology
Understanding Automatic Differentiation
swagatmitrab.vercel.app·1d·
Discuss: Hacker News
📐Error Bounds